1. Computability /
المؤلف: George J. Tourlakis
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
2. Computability
المؤلف: Tourllakis, George J.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
3. Lectures in logic and set theory
المؤلف: Tourlakis, George J.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
4. Lectures in logic and set theory
المؤلف: / George Tourlakis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
5. Lectures in logic and set theory
المؤلف: / George Tourlakis
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
6. Lectures in logic and set theory
المؤلف: Tourlakis, George J.
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
7. Mathematical logic
المؤلف: / George Tourlakis
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic, Symbolic and mathematical- Textbooks
رده :
QA9
.
T68
2008
8. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
9. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
10. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
11. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: (طهران)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68M3
12. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Textbooks ، Logic, Symbolic and mathematical
رده :
QA
9
.
T68
2008
13. Mathematical logic
المؤلف: George Tourlakis
المکتبة: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع: Logic, Symbolic and mathematical, Textbooks
رده :
511
,.
3
,.
T68M
,
2008
14. Mathematical logic
المؤلف: Tourlakis, George J.
المکتبة: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع: ، logic, Symbolic and mathematical -- Textbooks
رده :
QA
9
.
T68
15. Theory of Computation
المؤلف: / George Tourlakis
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
